Exercici 9 (Tasca 5).
(RE (semi-decidable/ recursively enumerable languages))
Projecció de \mathbf{RE}
Sigui A\in \mathbf{RE}. Demostreu que \{x\mid \exists y\ \langle x,y\rangle\in A\}\in \mathbf{RE}\ .
Si us plau, ompliu l’enquesta de qualitat de la docència de la UPC! Aquí
Projecció de \mathbf{RE}
Sigui A\in \mathbf{RE}. Demostreu que \{x\mid \exists y\ \langle x,y\rangle\in A\}\in \mathbf{RE}\ .